The article discusses the future of US democracy after the end of Donald J. Trump’s scandal-ridden presidency, which culminated in a violent attempted self-coup. In contrast to many observers outside the United States who appear to assume that Joe Biden’s inauguration marks the failure of the coup attempt, I argue that this view is overly optimistic. First, Trump by no means acted alone but was supported by leading figures in the Republican Party (GOP). Second, the attack on democratic norms and (...) institutions to restore and permanently cement Republican minority rule continues to move forward. The 2022 midterm elections and the 2024 presidential election set the course on whether the United States will return to liberal democracy or degrade into Hungary-style competitive authoritarianism. (shrink)

This article analyzes the gendered representation of military service in the German YouTube series Die Rekruten (DR) (The Recruits), a popular web series produced on behalf of the German armed forces (Bundeswehr) for recruitment purposes, which accompanies 12 navy recruits during their basic training. The article is situated within research on masculinity and the military, in particular military recruitment. It supplements current scholarship by studying a previously neglected case that is of particular interest given Germany’s antimilitarist culture, which should make (...) military recruitment and military public relations more difficult. The article asks how military service is represented in DR, what its discursive effects are, and what role (if any) masculinity plays in this process. We find support for recent feminist research on military masculinities (including in military recruitment) that emphasizes ambiguity and contradiction. What distinguishes the construction of military masculinity in DR from, for example, recruitment advertisements in the United States or the United Kingdom is its markedly civil character. This not only broadens the military’s appeal for a more diverse audience but also increases the legitimacy of the military and its activities. It does so by concealing the violence that has for the past two decades also been a very real part of what the Bundeswehr does. (shrink)

These essays draw on work in the history and philosophy of science, the philosophy of mind and language, the development of concepts in children, conceptual..

In 1988, Kit Fine published a semantic theory for quantified relevant logics. He referred to this theory as stratified semantics. While it has received some attention in the literature, 1–20, 1992; Mares & Goldblatt, Journal of Symbolic Logic 71, 163–187, 2006), stratified semantics has overall received much less attention than it deserves. There are two plausible reasons for this. First, the only two dedicated treatments of stratified semantics available are, 27–59, 1988; Mares, Studia Logica 51, 1–20, 1992), both of which (...) are quite dense and technically challenging. Second, there are a number of prima facie reasons to be worried about stratified semantics. The purpose of this paper is to revitalize research on stratified semantics. I will do so by giving a ‘user friendly’ presentation of the semantics, and by giving reasons to think that the prima facie reasons to be worried about it are too simplistic. (shrink)

A discussion of several tensions between Thomistic philosophy and modern Darwinian theory as well as several recent Thomistic criticisms of intelligent design.

In this chapter, Logan Paul Gage examines the only real attempt to disprove God’s existence by a New Atheist: Richard Dawkins’s “Ultimate 747 Gambit.” Central to Dawkins’s argument is the claim that God is more complex than what he is invoked to explain. Gage evaluates this claim using the main extant notions of simplicity in the literature. Gage concludes that on no reading does this claim survive scrutiny. Along the way, Dawkins claims that there are no good positive arguments (...) for God’s existence. Gage attempts to show that Dawkins’s argument depends upon distinctively philosophical assumptions that do not appear to withstand scrutiny. (shrink)

In this essay, I describe my journey to Catholicism and explain one of the many reasons I became Catholic--namely, an argument from the canon of Scripture.

There is a natural story about what logic is that sees it as tied up with two operations: a ‘throw things into a bag’ operation and a ‘closure’ operation. In a pair of recent papers, Jc Beall has fleshed out the account of logic this leaves us with in more detail. Using Beall’s exposition as a guide, this paper points out some problems with taking the second operation to be closure in the usual sense. After pointing out these problems, I (...) then turn to fixing them in a restricted case and modulo a few simplifying assumptions. In a followup paper, the simplifications and restrictions will be removed. (shrink)

This essay shows how John Henry Newman reconciled the certitude of faith with a fallibilist epistemology. While Newman holds that many of our beliefs are held with certitude, he does not conceive of all certitude as Cartesian, apodictic certitude. In this way, he walks a middle road between rationalism and fideism.

In this chapter, we argue for a phenomenal conservative perspective on religious epistemology and attempt to answer some common criticisms of this perspective.

We criticize the approach of covenantal epistemology to religious epistemology as articulated by Scott Oliphint from the perspective of phenomenal conservatism.

We criticize the proper functionalist approach to religious epistemology as articulated by Tyler McNabb from the perspective of phenomenal conservatism.

We criticize the classical evidentialist approach to religious epistemology as articulated by John DePoe from the perspective of phenomenal conservatism.

This paper presents a new semantics for the weak relevant logic DW that makes the role of the infamous Routley star more explicable. Central to this rewriting is combining aspects of both the American and Australian plan for understanding negations in relevance logics.

I present a version of Kit Fine's stratified semantics for the logic RWQ and define a natural family of related structures called RW hyperdoctrines. After proving that RWQ is sound with respect to RW hyperdoctrines, we show how to construct, for each stratified model, a hyperdoctrine that verifies precisely the same sentences. Completeness of RWQ for hyperdoctrinal semantics then follows from completeness for stratified semantics, which is proved in an appendix. By examining the base category of RW hyperdoctrines, we find (...) reason to be worried about the ontology of stratified models. (shrink)

Consider the set of inferences that are acceptable to use in all our theory building endeavors. Call this set of inferences the universal theory building toolkit, or just ’the toolkit’ for short. It is clear that the toolkit is tightly connected to logic in a variety of ways. Beall, for example, has argued that logic just is the toolkit. This paper avoids making a stand on that issue and instead investigates reasons for thinking that, logic or not, the toolkit is (...) substructural. It is presented as a dialogue for the simple reason that it summarizes a range of dialogues on this subject that the author has had with various folks over the past few years. The method I use to investigate the toolkit is inspired in both philosophical and technical details by Alasdair Urquhart’s work on semantics for relevance logics from the early 1970s. (shrink)

In this paper we introduce a novel way of building arithmetics whose background logic is R. The purpose of doing this is to point in the direction of a novel family of systems that could be candidates for being the infamous R#1/2 that Meyer suggested we look for.

In this paper, I will analyze Rawad El Skaf’s (2017 & 2021) account of thought experiments (TEs) in physics. I will argue that El Skaf’s account is strengthened by taking on Amy Kind’s (2016 & 2018) constraints-based approach to the imagination, which highlights the epistemic significance of imaginative processes. First, I will present El Skaf’s step-by-step structure of TEs wherein he discusses their form, content, and epistemic function. Second, I will explain a canonical TE in physics known as the clock-in-the-box. (...) In turn, I will lay out El Skaf’s analysis of the clock-in-the-box TE. Then, I will present Amy Kind’s constraints-based approach to the imagination. I will then offer three critiques of El Skaf’s account and suggest that each critique is resolved by applying a constraints-based approach to his view. Once the hybrid view is laid out, I will discuss incompatible constraints on the imagination, which I call the home and away constraints. I will argue that a thought experimenter (TEer) may overcome this incompatibility by transforming away constraints into home constraints via metaphor. Lastly, I will argue that physics TEs are special since it is an essential feature of theirs that they ask the TEer to consider incompatible constraints on the imagination. (shrink)

We critique MacIntyre's traditions-based perspectivalist approach to religious epistemology as articulated by Erik Baldwin from the perspective of phenomenal conservatism.

In a time when conservatives believe that the traditional family is under increasing fire, some think an appeal to Darwinian science may be the answer. I argue that these conservatives are wrong to maintain that Darwinian theory can serve as the intellectual foundation for the traditional conception of the family. Contra Larry Arnhart and James Q. Wilson, a Darwinian philosophy of nature simply lacks the stability the traditional family requires; it cannot support the traditional conception of human nature and the (...) normativity it was thought to contain. If conservatives are to maintain these traditional ideas, the theoretical foundation must lie elsewhere. (shrink)

It is not a particularly hard thing to want or seek explanations. In fact, explanations seem to be a large and natural part of our cognitive lives. Children ask why and how questions very early in development and seem genuinely to want some sort of answer, despite our often being poorly equipped to provide them at the appropriate level of sophistication and detail. We seek and receive explanations in every sphere of our adult lives, whether it be to understand why (...) a friendship has foundered, why a car will not start, or why ice expands when it freezes. Moreover, correctly or incorrectly, most of the time we think we know when we have or have not received a good explanation. There is a sense both that a given, successful explanation satisfies a cognitive need, and that a questionable or dubious explanation does not. There are also compelling intuitions about what make good explanations in terms of their form, that is, a sense of when they are structured correctly. (shrink)

This is an extension of my earlier work, The Coast is Not Clear. This paper offers an alternative view in the discussion of passive action between Harry Frankfurt (1978) and Alfred Mele (1997). First, I will describe Frankfurt’s noncausal account of action. Second, I will present counterexamples on behalf of Mele’s causal account. Then, I will introduce the Frankfurt-friendly View (FFV) which captures Frankfurt’s judgments about action while rejecting Frankfurt-style cases. I will explore what constitutes and explains actions in each (...) view. I will then analyze the counterexamples using Mele’s view and the FFV. Finally, I will explain the interpretive differences between the competing views. (Note that this work is not published and in its early draft stages.). (shrink)

In this paper, I consider the relationship between Inference to the Best Explanation and Bayesianism, both of which are well-known accounts of the nature of scientific inference. In Sect. 2, I give a brief overview of Bayesianism and IBE. In Sect. 3, I argue that IBE in its most prominently defended forms is difficult to reconcile with Bayesianism because not all of the items that feature on popular lists of “explanatory virtues”—by means of which IBE ranks competing explanations—have confirmational import. (...) Rather, some of the items that feature on these lists are “informational virtues”—properties that do not make a hypothesis \ more probable than some competitor \ given evidence E, but that, roughly-speaking, give that hypothesis greater informative content. In Sect. 4, I consider as a response to my argument a recent version of compatibilism which argues that IBE can provide further normative constraints on the objectively correct probability function. I argue that this response does not succeed, owing to the difficulty of defending with any generality such further normative constraints. Lastly, in Sect. 5, I propose that IBE should be regarded, not as a theory of scientific inference, but rather as a theory of when we ought to “accept” H, where the acceptability of H is fixed by the goals of science and concerns whether H is worthy of commitment as research program. In this way, IBE and Bayesianism, as I will show, can be made compatible, and thus the Bayesian and the proponent of IBE can be friends. (shrink)

Recent authors, emphasizing Newman’s distaste for natural theology—especially William Paley’s design argument—have urged us to follow Newman’s lead and reject design arguments. But I argue that Newman’s own argument for God’s existence (his argument from conscience) fails without a supplementary design argument or similar reason to think our faculties are truth-oriented. In other words, Newman appears to need the kind of argument he explicitly rejects. Finding Newman’s rejection of natural theology to stem primarily from factors other than worries about cogency, (...) however, I further argue that there is little reason not to pursue design arguments in order to save the argument from conscience. (shrink)

For some years now, Michael Bergmann has urged a dilemma against internalist theories of epistemic justification. For reasons I explain below, some epistemologists have thought that Michael Huemer’s principle of Phenomenal Conservatism can split the horns of Bergmann’s dilemma. Bergmann has recently argued, however, that PC must inevitably, like all other internalist views, fall prey to his dilemma. In this paper, I explain the nature of Bergmann’s dilemma and his reasons for thinking that PC cannot escape it before arguing that (...) he is mistaken: PC can indeed split its horns. (shrink)

Abstractionism in the philosophy of mathematics aims at deriving large fragments of mathematics by combining abstraction principles (i.e. the abstract objects $\S e_1, \S e_2$, are identical if, and only if, an equivalence relation $Eq_\S$ holds between the entities $e_1, e_2$) with logic. Still, as highlighted in work on the semantics for relevant logics, there are different ways theories might be combined. In exactly what ways must logic and abstraction be combined in order to get interesting mathematics? In this paper, (...) we investigate the matter by deriving the axioms of second-order Peano Arithmetic from Frege's Basic Law V (the extension of $F$ is identical with the extension of $G$ if, and only if, $F$ and $G$ are extensionally equivalent) in the presence of a relevant higher-order logic. The results are interesting. Not only must we take on logic as true, and not only must we apply our logic to abstraction principles, but also we have to apply our theory of abstraction back to the logic in order to arrive at arithmetic. Thus, what Abstractionism gives us is not simply what we get from abstraction via logic, but also what we get from logic via abstraction. (shrink)

In this paper, we provide a semantics for a range of positive substructural logics, including both logics with and logics without modal connectives. The semantics is novel insofar as it is meant to explicitly capture the computational flavor of these logics, and to do so in a way that builds in both nondeterministic and nonconcurrent computational processes.

The role of certitude in our mental lives is, to put it mildly, controversial. Many current epistemologists (including epistemologists of religion) eschew certitude altogether. Given his emphasis on certitude, some have maintained that John Henry Newman was an infallibilist about knowledge. In this paper, we argue that a careful examination of his thought (especially as seen in the Grammar of Assent) reveals that he was an epistemic fallibilist. We first clarify what we mean by fallibilism and infallibilism. Second, we explain (...) why some have read Newman as an infallibilist. Third, we offer two arguments that Newman is at least a fallibilist in a weak sense. In particular, the paradox he seeks to resolve in the Grammar and his dispute with John Locke both indicate that he is at least a weak fallibilist. We close with a consideration of whether Newman is a fallibilist in a much stronger sense as well. (shrink)

We introduce two notions–the shadows and the shallows of explanation–in opening up explanation to broader, interdisciplinary investigation. The shadows of explanation refer to past philosophical efforts to provide either a conceptual analysis of explanation or in some other way to pinpoint the essence of explanation. The shallows of explanation refer to the phenomenon of having surprisingly limited everyday, individual cognitive abilities when it comes to explanation. Explanations are ubiquitous, but they typically are not accompanied by the depth that we might, (...) prima facie, expect. We explain the existence of the shadows and shallows of explanation in terms of there being a theoretical abyss between explanation and richer, theoretical structures that are often attributed to people. We offer an account of the shallows, in particular, both in terms of shorn-down, internal, mental machinery, and in terms of an enriched, public symbolic environment, relative to the currently dominant ways of thinking about cognition and the world. (shrink)

Contextualism (the view that ‘knowledge’ and its variants are context-sensitive) has been supported in large part through appeal to intuitions about Keith DeRose’s Bank Cases. Recently, however, the contextualist construal of these cases has come under fire from Kent Bach and Jennifer Nagel who question whether the Bank Case subject’s confidence can remain constant in both low- and high-stakes cases. Having explained the Bank Cases and this challenge to them, I argue that DeRose has given a reasonable reply to this (...) initial challenge. However, I proceed to argue that the current stalemate can be broken. Seeking to extend the Bach-Nagel critique, I offer a novel interpretation of the Bank Cases according to which the subject’s evidence changes between low- and high-stakes cases. If I am correct, then, given the amount of support the Bank Cases have been thought to lend contextualism, the case for contextualism is seriously weakened. (shrink)

Linnebo and Pettigrew present some objections to category theory as an autonomous foundation. They do a commendable job making clear several distinct senses of ‘autonomous’ as it occurs in the phrase ‘autonomous foundation’. Unfortunately, their paper seems to treat the ‘categorist’ perspective rather unfairly. Several infelicities of this sort were addressed by McLarty. In this note I address yet another apparent infelicity.

Formal symptoms of relevance usually concern the propositional variables shared between the antecedent and the consequent of provable conditionals. Among the most famous results about such symptoms are Belnap’s early results showing that for sublogics of the strong relevant logic R, provable conditionals share a signed variable between antecedent and consequent. For logics weaker than R stronger variable sharing results are available. In 1984, Ross Brady gave one well-known example of such a result. As a corollary to the main result (...) of the paper, we give a very simple proof of a related but strictly stronger result. (shrink)

Recent years have witnessed intensive efforts to specify which requirements ethical artificial intelligence (AI) must meet. General guidelines for ethical AI consider a varying number of principles important. A frequent novel element in these guidelines, that we have bundled together under the term explicability, aims to reduce the black-box character of machine learning algorithms. The centrality of this element invites reflection on the conceptual relation between explicability and the four bioethical principles. This is important because the application of general ethical (...) frameworks to clinical decision-making entails conceptual questions: Is explicability a free-standing principle? Is it already covered by the well-established four bioethical principles? Or is it an independent value that needs to be recognized as such in medical practice? We discuss these questions in a conceptual-ethical analysis, which builds upon the findings of an empirical document analysis. On the example of the medical specialty of radiology, we analyze the position of radiological associations on the ethical use of medical AI. We address three questions: Are there references to explicability or a similar concept? What are the reasons for such inclusion? Which ethical concepts are referred to? (shrink)

Relevant logics infamously have the property that they only validate a conditional when some propositional variable is shared between its antecedent and consequent. This property has been strengthened in a variety of ways over the last half-century. Two of the more famous of these strengthenings are the strong variable sharing property and the depth relevance property. In this paper I demonstrate that an appropriate class of relevant logics has a property that might naturally be characterized as the supremum of these (...) two properties. I also show how to use this fact to demonstrate that these logics seem to be constructive in previously unknown ways. (shrink)

Critical discussion of Jerry Fodor's Concepts: Where Cognitive Science Went Wrong (1998).

Some properties are causally relevant for a certain effect, others are not. In this paper we describe a problem for our understanding of this notion and then offer a solution in terms of the notion of a program explanation.

Psychedelic experiences are often compared to “transformative experiences” due to their potential to change how people think and behave. This study empirically examines whether psychedelic experiences constitute transformative experiences. Given psychedelics’ prospective applications as treatments for mental health disorders, this study also explores neuroethical issues raised by the possibility of biomedically directed transformation—namely, consent and moral psychopharmacology. To achieve these aims, we used both inductive and deductive coding techniques to analyze transcripts from interviews with 26 participants in psychedelic retreats. Results (...) indicate that psychedelic experiences can constitute transformative experiences. Twenty participants reported experiences or insights that were seemingly inaccessible or impossible to attain if not for the psychoactive effects of psychedelics. All participants besides one reported some change in identity, values, beliefs, desires, and behavior—changes in behavior being the most common. Participants also reported feeling capable deciding to use psychedelics in part due to information seeking prior to their retreats. Finally, several participants reported an enhanced capacity for enacting changes in their lives. Our results underscore both the importance of subjective embodiment to transformation and the role of transformative agency in shaping outcomes of the psychedelic experience. We examine our results relative to neuroethical issues and advocate for centering the person in psychedelic research and neuroethical inquiry about psychedelics to avoid pitfalls associated with psychedelics’ potential as moral psychopharmacological agents. (shrink)

Categorial logic, as its name suggests, applies the techniques and machinery of category theory to topics traditionally classified as part of logic. We claim that these tools deserve attention from a greater range of philosophers than just the mathematical logicians. We support this claim with an example. In this paper we show how one particular tool from categorial logic---hyperdoctrines---suggests interesting metaphysics. Hyperdoctrines can provide semantics for quantified languages, but this account of quantification suggests a metaphysical picture quite different from the (...) one suggested by standard model-theoretic semantics. (shrink)

Consider the set of inferences that are acceptable to use in all our theory building endeavors. Call this set of inferences the universal theory building toolkit, or just ’the toolkit’ for short. It is clear that the toolkit is tightly connected to logic in a variety of ways. Beall, for example, has argued that logic just is the toolkit. This paper avoids making a stand on that issue and instead investigates reasons for thinking that, logic or not, the toolkit is (...) substructural. It is presented as a dialogue for the simple reason that it summarizes a range of dialogues on this subject that the author has had with various folks over the past few years. The method I use to investigate the toolkit is inspired in both philosophical and technical details by Alasdair Urquhart’s work on semantics for relevance logics from the early 1970s. (shrink)

In recent years, Duncan Pritchard has developed a position in religious epistemology called quasi‐fideism that he claims traces back to John Henry Newman's treatment of the rationality of religious belief. In this paper, we give three reasons to think that Pritchard's reading of Newman as a quasi‐fideist is mistaken. First, Newman's parity argument does not claim that religious and non‐religious beliefs are on a par because both are groundless; instead, for Newman, they are on a par because both often stem (...) from implicit rather than explicit reasoning. Second, pace Pritchard, Newman's distinction between simple and complex assent does not map onto the Wittgensteinian distinction between groundless hinge commitments and beliefs that flow from these hinges. For Newman, simple and complex assent differ in terms of the believer's level of awareness of their grounds. Third, and finally, Newman does not reject Locke's evidentialism in toto. Instead, he argues that certitude is not restricted to beliefs stemming from intuition and demonstration but often rightly includes probabilistically supported (or fallibly evidenced) beliefs. (shrink)

A brief introduction to the life and work of William Paley, including a discussion of the structure of his famous design argument.

A brief introduction to the life and key work of Rudolf Carnap with special attention to his work on inductive logic.

Artificial intelligence (AI) and machine learning (ML) models have undoubtedly become useful tools in science. In general, scientists and ML developers are optimistic – perhaps rightfully so – about the potential that these models have in facilitating scientific progress. The philosophy of AI literature carries a different mood. The attention of philosophers remains on potential epistemological issues that stem from the so-called “black box” features of ML models. For instance, Eamon Duede (2023) argues that opacity in deep learning models (DLMs) (...) is epistemically problematic in the context of justification, though not in the context of discovery. -/- In this paper, I aim to show that a similar epistemological concern is echoed in the epistemology of imagination literature. It is traditionally held that, given its black box features, reliance on the imagination is epistemically problematic in the context of justification, though not in the context of discovery. The constraints-based approach to the imagination answers the epistemological concern by providing an account of how we can rely on the imagination in the context of justification by way of constraints. I argue by analogy that a similar approach can be applied to the opaque DLM case. Ultimately, my goal is to explore just how far this analogy extends, and whether a constraints-based approach to opaque DLMs can answer the epistemological concern surrounding their black box features in the context of justification. -/- (Note that this paper is IN PROGRESS and UNPUBLISHED). (shrink)

In this article, I consider an important challenge to the popular theory of scientific inference commonly known as ‘inference to the best explanation’, one that has received scant attention.1 1 The problem is that there exists a wide array of rival models of explanation, thus leaving IBE objectionably indeterminate. First, I briefly introduce IBE. Then, I motivate the problem and offer three potential solutions, the most plausible of which is to adopt a kind of pluralism about the rival models of (...) explanation. However, I argue that how ranking explanations on this pluralistic account of IBE remains obscure and pluralism leads to contradictory results. In light of these objections, I attempt to dissolve the problem by showing why IBE does not require a ‘model’ of explanation and by giving an account of what explanation consists in within the context of IBE. (shrink)

This chapter describes the potential far‐reaching consequences of contemplative higher education for the fields of science and medicine.

A review of Jerry Root's book C.S. Lewis and a Problem of Evil.

It is still a live question in epistemology and philosophy of science as to what exactly evidence is. In my view, evidence consists in experiences called “seemings.” This view is a version of the phenomenal conception of evidence, the position that evidence consists in nonfactive mental states with propositional content. This conception is opposed by sense-data theorists, disjunctivists, and those who think evidence consists in physical objects or publicly observable states of affairs—call it the courtroom conception of evidence. Thomas Kelly (...) has recently argued that the phenomenal conception cannot play all the roles evidence plays and is thus inadequate. Having first explained the nature of seemings, in this essay I utilize Kelly’s own understanding of the four major roles of evidence and argue that the phenomenal conception can play each one. Experience is a good candidate for evidence. (shrink)

This is an extension of my earlier work, How in the World Are There Many Worlds and it's a lot more interesting! This paper explores personal identity and persistence through time in the many-worlds framework, governed by the Many Worlds Interpretation (MWI) of quantum mechanics (QM). First, I will motivate our consideration of the MWI in this context. Second, I will introduce endurantism, which is one answer to the puzzle concerning persistence through time. Third, I will explain the foundational physics (...) underlying the MWI that lends itself to branching worlds. In turn, I will explain what exactly a world amounts to in this picture. Then, I will present three views on personal identity and persistence through time: the bye-bye Betty view, the every-branch view, and the privileged branch view. I will argue that the privileged branch view is the most attractive of the bunch for determining the best candidate among close continuers. Finally, I will discuss knowledge, attitudes, and moral responsibility within the privileged branch view. (shrink)

A review of Edward Feser's Five Proofs of the Existence of God.